Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·6h·
Discuss: DEV
🌳Pattern Match Compilation
The math Module in Python: 6 Common Calculations You Can Make
howtogeek.com·18h
📐Mathematical Computing
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·15h·
Discuss: Hacker News
🔢Algebraic Datatypes
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·6h
🔬Nanopasses
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·11h·
Discuss: Hacker News
🔢Algebraic Datatypes
Recent AI Experiences
lesswrong.com·2d
📝Rope Editors
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·16h
🧮Combinator Calculus
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·4h
🌳Tree Shaking
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·2d·
Discuss: Hacker News, r/LLM
🔍ML Language
Property-based testing of batch-invariant operations
mmaaz.ca·11h·
Discuss: Hacker News
🎲Property Testing
FastAPI & PostgreSQL Sharding: A Step-by-Step Guide (Part 1) - Theory
realpython.com·1h·
Discuss: DEV
🔗Hash Functions
GSoC 2025 - Support simple C++20 modules use from the Clang driver without a build system
blog.llvm.org·10h·
Discuss: r/cpp
🪆Embedded DSLs
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
⚡functional programming
# 8 Apothem ...History and Etymology of Math Terms
pballew.blogspot.com·4h·
Discuss: www.blogger.com
∫Symbolic Math
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·1d·
Discuss: Hacker News
🎯Bit Vectors
The Making of Digital Identity – The Birth of Digital Authentication
syntheticauth.ai·19h·
Discuss: Hacker News
🛡️Capability Security
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·2d·
Discuss: Hacker News
📐Mathematical Computing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
💬Interactive REPLs
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·17h·
Discuss: r/programming
🧠Memory Models